(define (problem LG-generalization)
(:domain logistics-strips)(:objects c1 t1 a1 l1-4 p3 l1-2 p4 l1-5 p5 l1-3 l1-0 l1-1 c2 t2 a2 l2-4 p6 l2-2 p7 l2-5 p8 l2-3 l2-0 l2-1 c0 t0 a0 l0-4 p0 l0-2 p1 l0-5 p2 l0-3 l0-0 l0-1)
(:init 
(CITY c1)
(TRUCK t1)
(AIRPLANE a1)
(LOCATION l1-4)
(in-city l1-4 c1)
(OBJ p3)
(at p3 l1-4)
(at t1 l1-4)
(LOCATION l1-2)
(in-city l1-2 c1)
(OBJ p4)
(at p4 l1-2)
(LOCATION l1-5)
(in-city l1-5 c1)
(OBJ p5)
(at p5 l1-5)
(LOCATION l1-3)
(in-city l1-3 c1)
(LOCATION l1-0)
(in-city l1-0 c1)
(LOCATION l1-1)
(in-city l1-1 c1)
(CITY c2)
(TRUCK t2)
(AIRPLANE a2)
(LOCATION l2-4)
(in-city l2-4 c2)
(OBJ p6)
(at p6 l2-4)
(at t2 l2-4)
(LOCATION l2-2)
(in-city l2-2 c2)
(OBJ p7)
(at p7 l2-2)
(LOCATION l2-5)
(in-city l2-5 c2)
(OBJ p8)
(at p8 l2-5)
(LOCATION l2-3)
(in-city l2-3 c2)
(LOCATION l2-0)
(in-city l2-0 c2)
(LOCATION l2-1)
(in-city l2-1 c2)
(CITY c0)
(TRUCK t0)
(AIRPLANE a0)
(LOCATION l0-4)
(in-city l0-4 c0)
(OBJ p0)
(at p0 l0-4)
(at t0 l0-4)
(LOCATION l0-2)
(in-city l0-2 c0)
(OBJ p1)
(at p1 l0-2)
(LOCATION l0-5)
(in-city l0-5 c0)
(OBJ p2)
(at p2 l0-5)
(LOCATION l0-3)
(in-city l0-3 c0)
(LOCATION l0-0)
(in-city l0-0 c0)
(LOCATION l0-1)
(in-city l0-1 c0)
(AIRPORT l1-1)
(at a1 l1-1)
(AIRPORT l2-1)
(at a2 l2-1)
(AIRPORT l0-1)
(at a0 l0-1)
)
(:goal
(and
(at p3 l1-2)
(at p4 l1-5)
(at p6 l2-2)
(at p7 l2-5)
(at p0 l0-2)
(at p1 l0-5)
(at p5 l2-1)
(at p8 l0-1)
(at p2 l2-1)
)))